اثبات المنصرف